The information theoretic proof of Kac's theorem
نویسندگان
چکیده
منابع مشابه
Proof-Theoretic Investigations on Kruskal's Theorem
In this paper we calibrate the exact proof–theoretic strength of Kruskal’s theorem, thereby giving, in some sense, the most elementary proof of Kruskal’s theorem. Furthermore, these investigations give rise to ordinal analyses of restricted bar induction.
متن کاملThe proof theoretic strength of the Steinitz exchange theorem
We show that the logical theory QLA proves the Cayley–Hamilton theorem from the Steinitz exchange theorem together with a strengthening of the linear independence principle. Since QLA is a fairly weak theory (in the sense that its quantifier-free fragment, LA, translates into tautologies with TC0-Frege proofs—when restricted to the field Q of the rationals), it follows that the proof complexity...
متن کاملA Yang–Mills theoretic proof of the Newlander–Nirenberg theorem
In this paper we collect and compare the various integrability conditions for almost complex manifolds as well as give a new geometric proof of the Newlander–Nirenberg theorem. The proof has a Yang–Mills theoretic flavour and is based on Uhlenbeck’s theorem on the existence of local Coulomb gauges.
متن کاملAnother proof of Banaschewski's surjection theorem
We present a new proof of Banaschewski's theorem stating that the completion lift of a uniform surjection is a surjection. The new procedure allows to extend the fact (and, similarly, the related theorem on closed uniform sublocales of complete uniform frames) to quasi-uniformities ("not necessarily symmetric uniformities"). Further, we show how a (regular) Cauchy point on a closed uniform subl...
متن کاملAn Information-Theoretic Proof of God’s Existence
It’s good to be back at the Abbey after all these years. The last time was in 1996, when I was finishing my seminary studies at Princeton. Since then my 20, 25, and 30 reunions have taken place. I wanted to be at all of them, but work and family obligations didn’t allow it. I’ve spoken here once before, in 1988, as part of the Dom. Luke Childs Lecture Series. It was a happy encounter. My topic ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the Japan Academy, Series A, Mathematical Sciences
سال: 1970
ISSN: 0386-2194
DOI: 10.3792/pja/1195520409